implies (=>)